Cardinal sequences of LCS spaces under GCH

نویسندگان

  • Juan Carlos Martínez
  • Lajos Soukup
چکیده

Let C(α) denote the class of all cardinal sequences of length α associated with compact scattered spaces. Also put Cλ(α) = {f ∈ C(α) : f(0) = λ = min[f(β) : β < α]}. If λ is a cardinal and α < λ++ is an ordinal, we define Dλ(α) as follows: if λ = ω, Dω(α) = {f ∈ {ω, ω1} : f(0) = ω}, and if λ is uncountable, Dλ(α) = {f ∈ {λ, λ} : f(0) = λ, f−1{λ} is < λ-closed and successor-closed in α}. We show that for each uncountable regular cardinal λ and ordinal α < λ++ it is consistent with GCH that Cλ(α) is as large as possible, i.e. Cλ(α) = Dλ(α). This yields that under GCH for any sequence f of regular cardinals of length α the following statements are equivalent: (1) f ∈ C(α) in some cardinal preserving and GCH-preserving generic-extension of the ground model. (2) for some natural number n there are infinite regular cardinals λ0 > λ1 > · · · > λn−1 and ordinals α0, . . . , αn−1 such that α = α0 + · · · + αn−1 and f = f0 _ f1 _· · · fn−1 where each fi ∈ Dλi(αi). Preprint submitted to Elsevier 8 February 2010 The proofs are based on constructions of universal locally compact scattered spaces.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Topology Proceedings UNIVERSAL LOCALLY COMPACT SCATTERED SPACES

If δ is an ordinal, we denote by C(δ) the class of all cardinal sequences of length δ of locally compact scattered (in short: LCS) spaces. If λ is an infinite cardinal, we write Cλ(δ) = {s ∈ C(δ) : s(0) = λ = min[s(ζ) : ζ < δ]}. An LCS space X is called Cλ(δ)-universal if SEQ(X) ∈ Cλ(δ), and for each sequence s ∈ Cλ(δ) there is an open subspace Y of X with SEQ(Y ) = s. We show that • there is a...

متن کامل

Supercompactness and Failures of GCH

Let κ < λ be regular cardinals. We say that an embedding j : V → M with critical point κ is λ-tall if λ < j(κ) and M is closed under κ-sequences in V . Silver showed that GCH can fail at a measurable cardinal κ, starting with κ being κ++-supercompact. Later, Woodin improved this result, starting from the optimal hypothesis of a κ++-tall measurable cardinal κ. Now more generally, suppose that κ ...

متن کامل

A pr 1 99 2 ON THE SINGULAR CARDINAL HYPOTHESIS

The Singular Cardinal Hypothesis (SCH) asserts that if κ is any singular strong limit cardinal then 2 = κ. It is known to be consistent that the SCH fails: Prikry [Pr] obtains a model of ¬SCH from a model in which the GCH fails at a measurable cardinal κ, and Silver in turn (see [KM]) obtains the failure of the GCH at a measurable cardinal from a model for a κ-supercompact cardinal. Silver’s re...

متن کامل

Easton Functions and Supercompactness

Suppose κ is λ-supercompact witnessed by an elementary embedding j : V →M with critical point κ, and further suppose that F is a function from the class of regular cardinals to the class of cardinals satisfying the requirements of Easton’s theorem: (1) ∀α α < cf(F (α)) and (2) α < β =⇒ F (α) ≤ F (β). In this article we address the question: assuming GCH, what additional assumptions are necessar...

متن کامل

Large Cardinals and Lightface Definable Well-Orders, without the GCH

This paper deals with the question whether the assumption that for every inaccessible cardinal κ there is a well-order of H(κ+) definable over the structure 〈H(κ+),∈〉 by a formula without parameters is consistent with the existence of (large) large cardinals and failures of the GCH. We work under the assumption that the SCH holds at every singular fixed point of the i-function and construct a c...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Ann. Pure Appl. Logic

دوره 161  شماره 

صفحات  -

تاریخ انتشار 2010